$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $L$:$T$ List. filter($P$;$L$) $=$ filter2($\lambda$$i$.$P$($L$[$i$]);$L$) $\in$ $T$ List